Software construction - PDFSEARCH.IO - Document Search Engine

Software construction
Results: 3327

#	Item
51	Program Analysis and Transformations - COMP 621 Laurie Hendren Fall 2015 Brief Overview Interested in learning about how program analysis and compiler optimization and transformation Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2015-09-03 12:02:05 Software Compiler construction Computing Programming language implementation Compiler Optimizing compiler Intermediate representation Program optimization Compiler-compiler Cross compiler
52	tifact * Complete Abstract se Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Computing Software engineering Software Compiler optimizations Compiler construction Programming language implementation PyPy Just-in-time compilation Dalvik SpiderMonkey Optimizing compiler Interpreter
53	IASS2015_paper_BIM-simulations_final_v3 Add to Reading List Source URL: www.elasstic.eu Language: English - Date: 2016-03-02 06:59:38 Real estate Building information modeling Construction Software Computer-aided design Architecture Data modeling ArchiCAD Simulation Scientific modelling IDEA Architectural Graphisoft
54	HSA MEMORY MODEL HOT CHIPS TUTORIAL - AUGUST 2013 BENEDICT R GASTER WWW.QUALCOMM.COM OUTLINE Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-08-23 14:14:22 Computing Software engineering Computer architecture Parallel computing Computer memory GPGPU Compiler construction Programming language design Consistency model Sequential consistency HSA Foundation Memory model
55	Robotics: Science and Systems, JuneThe Motion Grammar: Linguistic Perception, Planning, and Control Neil Dantam and Mike Stilman School of Interactive Computing, Center fo Add to Reading List Source URL: www.neil.dantam.name Language: English - Date: 2016-07-08 17:59:42 Software engineering Parsing algorithms Formal languages Compiler construction Programming language implementation Software Context-free grammar Syntax Parsing Formal grammar Recursive descent parser Compiler-compiler
56	DATE: August 8, 2016 – revision documentation TO: All Project Managers Add to Reading List Source URL: www.codot.gov Language: English - Date: 2016-08-08 11:13:03 Software development process Technical communication Version control Construction bidding
57	Microsoft Word - Getting Started-v9_wafa.docx Add to Reading List Source URL: www.solibri.com Language: English - Date: 2016-03-26 20:21:40 Real estate Software Building information modeling Construction Architecture Building engineering Computer-aided design Data modeling Model checking Mode
58	Developing an ATC Grammar using the Review of the Cushing Grammar in the pro ject seminar Computational Natural Language Systems RVS, Faculty of Technology, University of Bielefeld Add to Reading List Source URL: www.rvs.uni-bielefeld.de Language: English - Date: 2001-06-26 08:55:20 Formal languages Compiler construction Software engineering Language Software Extended BackusNaur form Parsing Syntax Context-free grammar Formal grammar Terminal and nonterminal symbols Grammar
59	Towards Correct-by-Construction SDN Leonid Ryzhyk1 , Nikolaj Bjørner2 , Marco Canini3 , Jean-Baptiste Jeannin1 , Nina Narodytska1 , Cole Schlesinger1 , Douglas B. Terry1 , and George Varghese2 1 Samsung Research Americ Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2016-07-31 22:09:02 Computing Network architecture Emerging technologies Software engineering Configuration management Software-defined networking Information technology management Programming paradigms Refinement Programming language Model checking SIGCOMM
60	Efficient Parallel Set-Similarity Joins Using MapReduce Add to Reading List Source URL: asterixdb.ics.uci.edu Language: English - Date: 2013-06-06 15:43:58 Parallel computing Computing Software engineering Computer programming Distributed computing architecture MapReduce Compiler construction Data-intensive computing Lexical analysis Hash function Data Function